The dominion and separable subalgebras of finitely generated algebras
نویسندگان
چکیده
منابع مشابه
Lattice of subalgebras in the finitely generated varieties of MV-algebras
In this paper, we use the theory of natural duality to study subalgebra lattices in the finitely generated varieties of MV-algebras. With this tool, we obtain the dual atomicity of these lattices, and characterize the members of these varieties in which every subalgebra is an intersection of maximal subalgebras. Then, we determine the algebras that have a modular or distributive lattice of suba...
متن کاملOn finitely generated Heyting algebras
We study finitely generated Heyting algebras from algebraic and model theoretic points of view. We prove amon others that finitely generated free Heyting algebras embed in their profinite completions, which are projective limits of finitely generated free Heyting algebras of finite dimension.
متن کاملSeparable Subalgebras of a Class of Azumaya Algebras
Let S be a ring with 1, C the center of S, G a finite automorphism group of S of order n invertible in S, and SG the subnng of elements of S fixed under each element in G. It is shown that the skew group ring S,G is a G’-Galois extension of (S,G)G’ that is a projective separable CG-algebra where G’ is the inner automorphism group of S,G induced by G if and only if S is a G-Galois extension of S...
متن کاملFinitely Generated Magari Algebras and Arithmetic
Some consequences are studied of Shavrukov's theorem regarding the Magari algebras (diagonalizable algebras) that are embeddable in the Magari algebra of formal arithmetical theories. Semantic characterizations of faithfully interpretable modal propositional theories in a nite number of propositional letters are given, in particular for nitely axiomatizable ones. Supported by this theory comput...
متن کاملExtended centres of finitely generated prime algebras
Let K be a field and let A be a finitely generated prime K-algebra. We generalize a result of Smith and Zhang, showing that if A is not PI and does not have a locally nilpotent ideal, then the extended centre of A has transcendence degree at most GKdim(A) − 2 over K. As a consequence, we are able to show that if A is a prime K-algebra of quadratic growth, then either the extended centre is a fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1975
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1975-0364331-1